package magasin;

public aspect AspectRefresh 
{
		pointcut refresh() : within(Main) && call(* Gestionnaire.*(..));

	    after(): refresh() {
	        ((Gestionnaire)thisJoinPoint.getTarget()).ActualiserGestionnaire();
	    }
}